-
1 Logic for Programming, Artificial intelligence and Reasoning
Information technology: (conference on) LPAR (AI, conference)Универсальный русско-английский словарь > Logic for Programming, Artificial intelligence and Reasoning
-
2 (conference on) Logic for Programming, Artificial intelligence and Reasoning
Information technology: LPAR (AI, conference)Универсальный русско-английский словарь > (conference on) Logic for Programming, Artificial intelligence and Reasoning
-
3 компьютерная логика
1) Engineering: intelligence logic2) Programming: computer logic, machine logicУниверсальный русско-английский словарь > компьютерная логика
-
4 логический
1) General subject: discursive, logical, reasoned, self-consistent, studial2) Computers: logic3) Engineering: intelligence4) Mathematics: consequent, logistic, sound5) Logics: clausal6) Psychology: dialectical7) Information technology: Boolean -
5 распределённая логика
1) Engineering: distributed intelligence2) Information technology: distributed logicУниверсальный русско-английский словарь > распределённая логика
См. также в других словарях:
Logic Theorist — is a computer program written in 1955 and 1956 by Alan Newell, Herbert Simon and J. C. Shaw. It was the first program deliberately engineered to mimic the problem solving skills of a human being and is called the first artificial intelligence… … Wikipedia
Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… … Wikipedia
Logic in computer science — describes topics where logic is applied to computer science and artificial intelligence. These include:*Investigations into logic that are guided by applications in computer science. For example: Combinatory logic and Abstract interpretation;… … Wikipedia
Intelligence Artificielle — Pour les articles homonymes, voir A.I. Intelligence artificielle (film),IA. Le robot humanoïde ASIMO … Wikipédia en Français
Logic form — Logic forms are simple, first order logic knowledge representations of natural language sentences formed by the conjunction of concept predicates related through shared arguments. Each noun, verb, adjective, adverb, pronoun, preposition and… … Wikipedia
Logic Programming Associates — is a company specializing in logic and artificial intelligence software. It was founded in 1980 and is most widely known for its Prolog compilers such as WIN PROLOG. External links* [http://www.lpa.co.uk/ind pro.htm LPA home page] *… … Wikipedia
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
Logic and the mind — This article discusses the relationship between the formal logic and the mind.For a long time people believed that intelligence is equivalent to conceptual understanding and reasoning. A part of this belief was that the mind works according to… … Wikipedia
Intelligence analysis — This article deals with the intellectual process of analysis itself, as opposed to intelligence analysis management, which, in turn, is a subcomponent of intelligence cycle management. For a complete hierarchical list of articles in this series,… … Wikipedia
Intelligence artificielle — Pour les articles homonymes, voir A.I. Intelligence artificielle (film), IA. Le robot humanoïde ASIMO L intelligence artificielle est la … Wikipédia en Français
logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… … Universalium
